并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

最佳（n,2,w）二进制等重检错码的研究

本文研究了最佳(n,2,w)二进制等重检错码的存在性问题。对于文[5]中n 为偶数时所得的结论,本文给了一个简练的证明。更为重要的是,利用以上方法,作者证明了文[5]中关于n 为奇数时的一个猜想。     

信息战战场分析模型

根据区域攻防的不同战场信息行动,建立3个非线性微分方程模型.以防御方的总射击速率和战斗力消耗率作为评价指标,着重探讨了进攻方的指挥控制系统、侦察监视系统、战毁评估系统和火力系统之间的性能匹配关系.     

一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

分布式 Client/Server 智能应用系统 DIAS 的设计与实现

本文针对油气田储集层保护的复杂应用需求,基于分布式Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算机模型,设计了相应的分布式智能应用系统ＤＩＡＳ,实现了计算资源共事和知识、数据共享。该系统已在实际应用中取得了良好的效益。     

一种新的分布事务处理模型和算法

分布事务处理是分布式数据库管理系统设计中的一项关键技术。为保证分布事务的原子性,对基本分布事务处理模型和加工协议进行改进,提出了一种新的分布事务处理机制,并给出了其在分布式工程数据库管理系统dEDBMS中的实现方法。     

用8097单片机访问16位RAM中的奇地址字

MCS96系列单片机的外部总线宽度是可以编程控制的.为了达到访问16位RAM奇地址空间中的字,需要特殊的硬件结构支持.笔者讨论了两种方案,并进行了比较分析.     

PAI-CAD/CAM 模型及实现技术研究

本文根据敏捷制造与动态联盟将制造系统空间扩展到全国乃至全球,传统的用于产品开发的ＣＡＤ／ＣＡＭ系统已无法满足动态联盟条件下的产品开发要求,必须开发一种新的ＣＡＤ／ＣＡＭ系统才能满足这一要求。笔者根据国际ＣＡＤ／ＣＡＭ发展趋势,结合我国具体国情,在传统的ＣＡＤ／ＣＡＭ基础上提出了“ＰＡＩ－ＣＡＤ／ＣＡＭ（Ｐｓｅｕｄｏ－ＡｇｉｌｅＩｎｔｅｌｉｇｅｎｔＣＡＤ／ＣＡＭ）”的新概念,并建立了一种系统模型,此外,文章还对系统的实现技术进行了深入的探讨。     

先进武装直升机的一种新型组合智能火/飞综合控制系统的设计与仿真

讨论了模糊逻辑控制与神经网络相结合的一种控制方法,给出了一种增益自适应调整的模糊控制方法和ＢＰ网络自适应变步长学习算法。提高了系统精度,改善了系统品质,并将这种方法成功地用于直升机综合火／飞系统的设计。同时,针对某型直升机用数字仿真证明了这种方法的优点和良好效果。     

谈英汉翻译与文化的对等

从英汉文化对比的角度出发,探讨了由于两种文化不同而导致语言表达方式上的差异,论述了翻译需要克服语言及文化的双重障碍,简述了译者该如何解决翻译中文化对等的问题,并提出通过６种途径选择合适的翻译方法．